Nuprl Definition : es-state-after-elapsed
11,40
postcript
pdf
es-state-after-elapsed(
es
;
e
;
t
)(
x
) == es_state_after(
es
;
e
)(
x
,
t
)
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
,
es_state_after(
es
;
e
)
FDL editor aliases
es-state-after-elapsed
origin
x.A(x)x.A(x)